大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ambulatory Impedance Cardiography [electronic resource] : The Systems and their Applications

0
索取号：
作者：Cybulski、 Gerard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gordon、 Andrew D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

0
索取号：
作者：M眉ller-Schloer、 Christian.、Karl、 Wolfgang.、Yehia、 Sami.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems

0
索取号：
作者：Puppis、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing on Vector Systems 2010 [electronic resource]

0
索取号：
作者：Resch、 Michael.、Benkert、 Katharina.、Wang、 Xin.、Galle、 Martin.、Bez、 Wolfgang.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

0
索取号：
作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human Error, Safety and Systems Development [electronic resource] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

0
索取号：
作者：Palanque、 Philippe.、Vanderdonckt、 Jean.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

0
索取号：
作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

0
索取号：
作者：Fred、 Ana.、Filipe、 Joaquim.、Gamboa、 Hugo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies

0
索取号：
作者：Priami、 Corrado.、Breitling、 Rainer.、Gilbert、 David.、Heiner、 Monika.、Uhrmacher、 Adelinde M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cognitive Systems [electronic resource]

0
索取号：
作者：Christensen、 Henrik Iskov.、Kruijff、 Geert-Jan M.、Wyatt、 Jeremy L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Symbiotic Multi-Robot Organisms [electronic resource] : Reliability, Adaptability, Evolution

0
索取号：
作者：Levi、 Paul.、Kernbach、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interactive Collaborative Information Systems [electronic resource]

0
索取号：
作者：Babu拧ka、 Robert.、Groen、 Frans C. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Multimedia Communication: Techniques and Applications [electronic resource]

0
索取号：
作者：Chen、 Chang Wen.、Li、 Zhu.、Lian、 Shiguo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Autonomous Systems [electronic resource] : Foundations and Applications

0
索取号：
作者：Pratihar、 Dilip Kumar.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.